Parallel Product of Event Structures
نویسندگان
چکیده
منابع مشابه
Hoph Hypersurfaces of Sasakian Space Form with Parallel Ricci Operator Esmaiel Abedi, Mohammad Ilmakchi Department of Mathematics, Azarbaijan Shahid Madani University, Tabriz, Iran
Let M^2n be a hoph hypersurfaces with parallel ricci operator and tangent to structure vector field in Sasakian space form. First, we show that structures and properties of hypersurfaces and hoph hypersurfaces in Sasakian space form. Then we study the structure of hypersurfaces and hoph hypersurfaces with a parallel ricci tensor structure and show that there are two cases. In the first case, th...
متن کاملEvent Spaces and their Linear Logic
Boolean logic treats disjunction and conjunction symmetrically and algebraically. The corresponding operations for computation are respectively nondeterminism (choice) and concurrency. Petri nets treat these symmetrically but not algebraically, while event structures treat them algebraically but not symmetrically. Here we achieve both via the notion of an event space as a poset with all nonempt...
متن کاملEvent Structure Semantics for CCS and Related Languages
We give denotational semantics to a wide range of parallel programming languages based on the idea of Milner’s CCS [Mil80a], that processes communicate by events of mutual synchronization. Processes are denoted by labeled event structures. Event structures represent concurrency rather directly, as in net theory [Bra80]. The semantics does not simulate concurrency by non-deterministic interleavi...
متن کاملKinematic Mapping and Forward Kinematic Problem of a 5-DOF (3T2R) Parallel Mechanism with Identical Limb Structures
The main objective of this paper is to study the Euclidean displacement of a 5-DOF parallel mechanism performing three translation and two independent rotations with identical limb structures-recently revealed by performing the type synthesis-in a higher dimensional projective space, rather than relying on classical recipes, such as Cartesian coordinates and Euler angles. In this paper, Study's...
متن کاملاستفاده از ترکیب شیمیایی کانی‌ها در تشخیص تحولات تکتونومتامورفیکی مجموعه‌های دگرگونی گل گهر و روتشون (جنوب بافت، استان کرمان)
Gol-e-Gohar and Rutchun metamorphic complexes in south-east of Sanandaj-Sirjan metamorphic zone contain alternation of meta-sedimentary, meta-basites and impure meta-limestone that have been affected by different metamorphic events and deformational phases. In the first metamorphic event that was associated with the first deformational phase, muscuvite, biotite and garnet minerals were formed a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Theor. Comput. Sci.
دوره 179 شماره
صفحات -
تاریخ انتشار 1997